Llistar TÃtols
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
Lògica difusa Automatic theorem proving Logic programming Teoremes -- Demostració automà tica Sistemes borrosos Programació lògica Fuzzy logic
Bofill Arasa, Miquel Villaret i Ausellé, Mateu Almendros-Jimenez, Jesùs M. Ministerio de EconomÃa y Competitividad (Espanya) Almendros-Jiménez, Jesús M. Moreno, Ginès Luna-Tedesqui, Alejandro